H ? « ‹ ← → › »

Language peer sets for Church typed-lambda calculus:
United States↑
United States/1941↑
Designed 1941 ↑
1940s languages ↑
First generation↑
WWII↑
Genus Strict evaluation LISPs ↑
String and List Processing ↑
Strict evaluation LISPs↑
LISPs↑
Lambda caculus ↑
Strict evaluation LISPs/1941↑
LISPs/1941↑
Lambda caculus/1941↑
Strict evaluation LISPs/United States↑
LISPs/United States↑
Lambda caculus/United States↑
String and List Processing ↑
String and List Processing/1941↑
String and List Processing/us ↑

Church typed-lambda calculus(ID:5127/chu001)

Church 

alternate simple view
Country: United States
Designed 1941
Genus: Strict evaluation LISPs
Sammet category: String and List Processing

Church's combination of the lambda calculus with Russell and Whitehead's theory of types

People:
Related languages
Lambda Calculus → Church typed-lambda calculus   Evolution of
Simplified Type Theory → Church typed-lambda calculus   Incorporated into
Church typed-lambda calculus → ABL   Influence
Church typed-lambda calculus → AMTRAN 70   Incorporated some features of
Church typed-lambda calculus → CUCH   Influence
Church typed-lambda calculus → FP   Implementation
Church typed-lambda calculus → ISWIM   Influence
Church typed-lambda calculus → LAMBDA   Implementation
Church typed-lambda calculus → LISP   Influence
Church typed-lambda calculus → N1   Incorporated some features of
Church typed-lambda calculus → SECD   Implementation of
Church typed-lambda calculus → The Mathematical Vernacular   Incorporated some features of
References:
  • Church, Alonzo (1936) Church, Alonzo "An unsolvable problem of elementary number theory" in American Journal of Mathematics, 58 (1936) pp345-363
  • Church, Alonzo T (1941) Church, Alonzo T "The Calculi of Lambda-Conversion" 1941 Extract: Lambda Calculus Extract: Extension and Intension Extract: Functions of Several Variables
  • Landin, P. J. (1965) Landin, P. J. "Correspondence between ALGOL 60 and Church's Lambda-notation: part I" pp89-101
          in [ACM] (1965) [ACM] CACM 8(02) Feb 1965
  • Landin, P.J. (1966) Landin, P.J. "The Next 700 Programming Languages"
          in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965
  • Backus, John (1978) Backus, John "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs" (1977 Turing Award Lecture)
          in [ACM] (1978) [ACM] CACM 21(08) (August 1978).
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
          in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder